41. Formal techniques for networked and distributed systems -- Forte 2004 : 24th IFIP WG 6.1 international conference, Madrid Spain, September 27-30, 2004 : proceedings
پدیدآورنده: ]edited by[ David de Frutos-Escrig, Manuel Nunez
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
3235
42. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
پدیدآورنده: / Edited by Myungchul Kim ... [et al]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
.
F67
,
I579
2001
43. Foundations of security, protocols, and equational reasoning :
پدیدآورنده: Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer network protocols, Congresses.,Cryptography, Congresses.,Data protection, Congresses.,Logic design, Congresses.,Computer network protocols.,Cryptography.,Data protection.,Logic design.
رده :
QA76
.
9
.
A25
44. Human interactive proofs : second international Workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005 : proceedings
پدیدآورنده: Henry S. Baird, Daniel P. Lopresti )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Pattern recognition systems,Congresses ، Computer network protocols,Congresses ، Computers -- Access control,Congresses ، Computer security
رده :
QA
76
.
L28
Vol
.
3517
45. Image processing and communications challenges 10 :
پدیدآورنده: Michał Choraś, Ryszard S. Choraś, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks, Congresses.,Image processing-- Digital techniques, Congresses.,Artificial intelligence.,Computer networks.,COMPUTERS / General.,Image processing-- Digital techniques.
رده :
TA1637
46. Information and communications security :
پدیدآورنده: Sihan Qing [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks-- Security measures, Congresses,Computer security, Congresses,Data encryption (Computer science), Congresses
رده :
QA76
.
9
.
A25
I58
2011
47. Information and decision sciences :
پدیدآورنده: Suresh Chandra Satapathy, Joao Manuel R.S. Tavares, Vikrant Bhateja, J.R. Mohanty, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Computational intelligence, Congresses.,Machine learning, Congresses.,Artificial intelligence.,Computational intelligence.,COMPUTERS-- General.,Machine learning.
رده :
Q334
48. Information security and cryptology -- ICISC 2017 :
پدیدآورنده: Howon Kim, Dong-Chan Kim (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer security, Congresses.,Data encryption (Computer science), Congresses.,Artificial intelligence.,Coding theory & cryptology.,Computer security.,Computer security.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Data encryption (Computer science)
رده :
QA76
.
9
.
A25
49. Innovative security solutions for information technology and communications :
پدیدآورنده: Jean-Louis Lanet, Cristian Toma (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks-- Security measures, Congresses.,Computer security, Congresses.,Information technology-- Security measures, Congresses.,Computer networks-- Security measures.,Computer security.,Information technology-- Security measures.
رده :
QA76
.
9
.
A25
50. Integrated circuit and system design :
پدیدآورنده: Jorge Juan Chico, Enrico Macii, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses.,Integrated circuits -- Very large scale integration -- Computer-aided design.
51. Intelligent systems and applications :
پدیدآورنده: editors, Kohei Aria, Supriya Kapoor, Rahul Bhatia.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Artificial intelligence.,Artificial intelligence.,COMPUTERS-- General.,Robotics.
رده :
Q334
.
I68
2018
52. International Conference on Computer Networks and Communication Technologies :
پدیدآورنده: S. Smys, Robert Bestak, Joy Iong-Zong Chen, Ivan Kotuliak, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks, Congresses.,Communications Engineering, Networks.,Information Systems Applications (incl. Internet).,Systems and Data Security.,Communications engineering-- telecommunications.,Computer networks.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information retrieval.
رده :
TK5105
.
5
53. 1993 International Conference on Network Protocols, San Francisco, California, October 19-22, 1993: : proceedings
پدیدآورنده: International Conference on Network Protocols )3991 : San Francisco, Calif.(
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Computer network protocols- Congresses
54. International Conference on Wireless, Intelligent, and Distributed Environment for Communication :
پدیدآورنده: Isaac Woungang, Sanjay Kumar Dhurandher, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks, Congresses.,Wireless communication systems, Congresses.,Communications engineering-- telecommunications.,Computer networking & communications.,Computer networks.,Microwave technology.,Network hardware.,TECHNOLOGY & ENGINEERING-- Mechanical.,Wireless communication systems.
رده :
TK5103
.
2
55. International conference on innovative computing and communications :
پدیدآورنده: edited by Siddhartha Bhattacharyya, Aboul Ella Hassanien, Deepak Gupta, Ashish Khanna, Indrajit Pan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Technological innovations, Congresses.,Information technology-- Technological innovations, Congresses.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology-- Technological innovations.
رده :
QA75
.
5
56. Internet of things, smart spaces, and next generation networking :
پدیدآورنده: Sergey Balandin, Sergey Andreev, Yevgeni Koucheryavy (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks-- Management, Congresses,Database management, Congresses,Internet, Congresses,Wireless communication systems, Congresses
رده :
TK5103
.
2
.
N49
2013
57. Internet of things, smart spaces, and next generation networks and systems :
پدیدآورنده: Olga Galinina, Sergey Andreev, Sergey Balandin, Yevgeni Koucheryavy (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Internet of things, Congresses.,Wireless communication systems, Congresses.,Coding and Information Theory.,Communications Engineering, Networks.,Computer Communication Networks.,Information Systems Applications (incl. Internet).,System Performance and Evaluation.,Systems and Data Security.,Coding theory & cryptology.,Communications engineering-- telecommunications.,Computer security.,Computers-- Hardware-- Handheld Devices.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Information Theory.,Computers-- Security-- General.,Information retrieval.,Internet of things.,Network hardware.,Systems analysis & design.,Technology & Engineering-- Telecommunications.,Wireless communication systems.
رده :
QA76
.
5915
58. Internet of vehicles :
پدیدآورنده: Andrzej M.J. Skulimowski, Zhengguo Sheng, Sondès Khemiri-Kallel, Christophe Cérin, Ching-Hsien Hsu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Embedded Internet devices, Congresses.,Vehicular ad hoc networks (Computer networks), Congresses.,Artificial intelligence.,Computer security.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Embedded Internet devices.,Expert systems-- knowledge-based systems.,Information retrieval.,Network hardware.,Vehicular ad hoc networks (Computer networks)
رده :
TE228
.
38
59. IoT as a Service :
پدیدآورنده: Bo Li, Mao Yang, Hui Yuan, Zhongjiang Yan (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Internet of things, Congresses.,Internet of things.
رده :
TK5105
.
8857
60. Machine learning for networking :
پدیدآورنده: Éric Renault, Paul Mühlethaler, Selma Boumerdassi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Machine learning, Congresses.,Machine learning.
رده :
Q325
.
5
